#include "types.h"
#include "stat.h"
#include "user.h"

extern int shutdown(int);

int
main(int argc, char *argv[])
{
  int n=-1;
  if(argc>=2)
      n=atoi(argv[1]);
  shutdown(n);
  exit();
}
